Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
781	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
782	Microsoft Word - ijita12-3.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:05 Turing machine Models of computation Computability theory Formal methods NP Computability Algorithm Artificial intelligence Ordinal number Theoretical computer science Applied mathematics Theory of computation
783	Fundamentals of Computing Leonid A. Levin These are notes for the course CS-172 I first taught in the Fall 1986 at UC Berkeley and subsequently at Boston University. The goal was to introduce the undergraduates to basic Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2015-03-30 07:56:29 Computer science Theory of computation Alan Turing Turing machine Models of computation Computable function Turing reduction Universal Turing machine Halting problem Computability theory Theoretical computer science Mathematics
784	COLA – The Component Language Stefan Kugele, Michael Tautschnig, Andreas Bauer, Christian Schallhart, Stefano Merenda, Wolfgang Haberl, Christian K¨ uhnel, Florian M¨ uller, Zhonglei Wang, Doris Wild, Sabine Rittmann Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-10-29 20:08:38 Computing Electronic engineering Formal methods Software engineering Cybernetics SIGNAL Finite-state machine Lustre Dataflow Hardware description languages Synchronous programming languages Models of computation
785	3-2 Development of the SprinTra WFST Speech Decoder DIXON Paul Richard, HORI Chiori, and KASHIOKA Hideki In this paper we describe the NICT Weighted Finite State Transducer (WFST) based speech decoder named SprinTra. The Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 21:19:13 Science Linguistics Speech recognition Applied mathematics Finite state transducer N-gram Finite-state machine Language model Algorithm Automata theory Computational linguistics Models of computation
786	Efficient Solutions for the Complement of wwR and the Complement of ww Allaoua Refoufi Computer Science Department University of Sétif Algéria Add to Reading List Source URL: dline.info Language: English - Date: 2015-01-12 10:33:13 Theoretical computer science Formal languages Computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Deterministic finite automaton Stack Chomsky hierarchy Automata theory Theory of computation Models of computation
787	Essay 6 Artificial Darwinism: The Very Idea!∗ Barry McMullin Add to Reading List Source URL: www.eeng.dcu.ie Language: English - Date: 1997-11-25 10:20:07 Computability theory Models of computation Alan Turing Turing machine Theoretical computer science John von Neumann Universal Turing machine Abstract machine Cellular automaton Mathematics Science Computer science
788	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
789	A Scalable Nonuniform Pointer Analysis for Embedded Programs? Arnaud Venet NASA Ames Research Center / Kestrel Technology Moffett Field, CA 94035, USA [removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:18:05 Computing Software engineering Computability theory Formal methods Computer programming Symbol Pointer Models of computation

UPDATE